M.Sc. Dennis Guido Sprokholt

Profil

Derzeitige Stellung	Post Doc
Fachgebiet	Softwaretechnik und Programmiersprachen,Rechnerarchitektur, eingebettete und massiv parallele Systeme
Keywords	semantics, formal verification, program optimization, computer architecture
Auszeichnungen	2023: Distinguished Artifact Award at ASPLOS 2021: Young Talent Incentive Award, Koninklijke Hollandsche Maatschappij der Wetenschappen

Aktuelle Kontaktadresse

Land	Deutschland
Ort	Garching
Universität/Institution	Technische Universität München
Institut/Abteilung	Fakultät für Informatik

Gastgeber*innen während der Förderung

Prof. Dr.-Ing. Pramod Bhatotia	Fakultät für Informatik, Technische Universität München, Garching
Beginn der ersten Förderung	01.09.2025

Programm(e)

2024	Humboldt-Forschungsstipendien-Programm für Postdocs